TESTS: Red tests update to #include quick-test.red