Reverse dependencies for rover_prover

Latest version of the following gems require rover_prover