Finish implementation of the non-commit elements of selective specialisation.

Next up: a commit stage to match the existing clone-for-spec pass, including test insertion, and more test generation criteria including daemon communication at startup and load instructions after locking ops.