Disallow copy/assignment of SmtEngine.