Checkout trivial-validate.py from master

The newer version of trivial-validate.py from master contains a test for
missing "to" in rulesets and improved Python syntax for exceptions.