It is completely possible to build a ZK circuit that passes all of your validation tests while actually computing an entirely unintended result. A new open source verifier called LLEQ has been created specifically to detect this exact issue, and it is officially live right now.