Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding