lib: update qualified imports for LibTest theories

lib: move test theories in Lib to LibTest

Leaves out crunch tests, which seem fragile to being moved.

lib: add method to shorthand larger methods

Adds the `supply_local_method` command and `local_method` methods,
which store and apply methods as a way to shorten repeated
references to large or complicated methods.