Hedgehog properties for optics laws
To build and test with all supported compiler versions:
nix build .#all
