Reverse dependencies for proof-rails

Latest version of the following gems require proof-rails