Added Range annotation and RangeSupplier class to test for a range of
parameter values in a Theory test