Meet Mike! Our new Sweet* Internal Verifier