Test framework: cleanup

Deprecates Test.compile_expression Test.compile_expression_subst Test.mutate_expression Test.mutate_count

a bit of doc rephrasing

mutations logic is moved out of the interpreter monad commands and now have its own module