changes
Merge branch 'experiments' of github.com:lemonidas/QuickChick into experiments
Fixed almost all proofs, so they compile after Catalin's fix
fixed last broken proof