No compilation, improve interpreter tests w/ arguments in test directives

[acl-cqc]

Removes "compilation tests" (that tried compiling kernel boxes to Hugrs with HoleOps) - as HoleOp will not exist without the extension. Also the -c command-line argument.

Interpreter tests now check the test file (ignoring test directives) twice (rather than once plus once per test) - once as a "checking test"; a second time inside a catch and then (if successful, i.e. nothing caught) uses the graph built for all the tests in that file.

Allows test files containing --!exec arguments --> [interpreter_result_string] and --!exec-hugr arguments in addition to previous forms without arguments. (This is quite complex and might want more refactoring...)

Some refactors (e.g. rowToRo now taking a NamedPort; giving Raw.hs an export list and removing splitM; breaking runDesugar out from desugarEnv) could be done as a preliminary PR?

TODO test coverage is still greatly reduced, until we've added in enough --!exec-hugrs to replace the lost "compilation tests", really this should happen here.

Also I am not sure but perhaps we should be using Test/Examples.hs for all test files??