Run tasty tests that check whether a program executes correctly