Regenerate bindings w.r.t. proof-systems update (external prover rng)

Regenerate bindings w.r.t. proof-systems update (external prover rng) #617