Exception handling errors in TheoryBuilder

[Brijendra Nag]

If the piece of code inside .check(...) might throw an exception, then code doesn't compile.
This is because QuickTheory assumes that the arbitrary predicate inside .check(...) never throws an exception.
To fix this, all methods in TheoryBuilder should be marked as throws Exception because they might actually throw an exception.