Add tests for no-stack-check attr and codegen option