Add option to check sanity of code at run-time