Currently, a pairing point object may not exist in the public inputs of a honk proof IF the recursive flag is not on, and also possibly if we forget to turn the init-kzg-accumulator flag. We should just simplify things and always attach it for UH. I originally didn't always attach it because it's slightly cheaper to not include it, but at this point, its whatever and not worth the complexity.
Currently, a pairing point object may not exist in the public inputs of a honk proof IF the recursive flag is not on, and also possibly if we forget to turn the init-kzg-accumulator flag. We should just simplify things and always attach it for UH. I originally didn't always attach it because it's slightly cheaper to not include it, but at this point, its whatever and not worth the complexity.