prop/for-all needs `and` for multiple conditions

The `prop/for-all` usage needs to wrap multiple conditions in an `and` so that they all get tested properly.  It works like the body of a function to test, not a sequence of tests.