Converted ProblemGenerator tests to property-driven approach

Also, refactored to not allow full integer range of limits