Simplify test for empty vectors
Use CHECK macro instead of REQUIRE

This ensures that a failed assertion doesn't stop the successive tests.
The tests for vector sizes use REQUIRE to avoid out-of-bounds exception
when testing for the contents.
Use CHECK_FALSE instead of CHECK to test for negation. This should provide
better failure messages.