Text this: Double-sided: tight proofs for guessing games in the quantum random oracle model