Use SATISFIES-TEST-P where possible

Modified a bunch of list and sequence functions to use the new `SATISFIES-TEST-P` utility function