Implement quick check test for random maps.
Only run 10 random checks
Quickcheck extensions
Fix README.md