ref: make all proptests stand-alone + replace prop_assume calls with helper fn

ref: make all proptests stand-alone + replace prop_assume calls with helper fn #2371