fixed decimal value generation, incremented MaxTests prop to 10000

The issue was related to decimal precision, my code was generating too long decimals. I switched to the default FsCheck decimal generation. I also increased MaxTests property up to 10000, so that the test runs are more deterministic, and removed the other property test as the latter should be now exhaustive.
Why did you remove this test? It's testing a different scenario than the other one