Currently, when we test ECL, we do neither of these (as far as I can tell).
Would we want to make two different versions of the ECL tests, as follows:
ecl-bytecomp : first compile and load asdf, then call
INSTALL-BYTECODES-COMPILER, then run the tests.
ecl : first (require :CMP), then compile and load asdf, then run tests.
Question: does this recipe FORCE us to have the right compiler for the
tests?