Programatically run examples and ensure that they pass