Add lit-based integration test infrastructure

Also add a few integration tests for the solver interface and the pass.