Add a non-working Interpreter sketch class for the new z3-bidder.