get inferencer proofs building, fixes along the way