Add some more quickcheck properties for maps