Use module proxies for automatic importing

This method ought to be slightly more robust than the bytecode-parsing stuff, and perhaps more importantly we don't have to pull in a custom `dis`. Less code is a Good Thing™, and the bytecode thing was always horribly hacky.