`alga_derive` generates quickcheck tests against the `approx` properties

[dcrewi]

I find myself with a structure for which Eq is appropriate and RelativeEq is not. Approx or exact comparison should probably be caller selectable.