recursion circuit's verifier_data_hash include constant_sigmas_cap in the hash, and add explanation#288