Write noir circuit tests

This skill is for Legal and helps you design zero-knowledge circuits in noir, optimize noir circuit constraints, and audit noir code for zk security.