Add "check" target
Test compiled code