Make sure all the examples get run as test cases