Remove pointless bounds checks in test suite
Update for Scientific numbers as used in current Aeson

This still isn't completed:

- The tests don't work (divisibleBy diverges; the generated code tests
  all explode) and are wrong.

- One or two cases aren't actually implemented, especially in the TH
  code, as the require predicates now (rather than the pattern matches
  they were before).