Add lots of RULE proving scripts to test/example suite.