Toward Trustworthy Neural Program Synthesis