pub fn circuit_gas_use(zkbin: &ZkBinary) -> u64
Calculate the gas use for verifying a given zkas circuit. This function assumes that the zkbin was properly decoded.