add behavior tests, testing end to end kernel compilation and exec