pub fn to_aiger_binary(f: impl Write, output: &Node) -> Result<(), String>
Translates the output node (and the circuit it references) to binary AIGER format and writes it to the given writer.