Move `recursive` field to `Program` from `Circuit`.

[TomAFrench]

Was looking at this and it seems like we should specify whether a Program is recursive rather than a Circuit.

noir/acvm-repo/acir/src/circuit/mod.rs

Lines 72 to 75 in 6936a52

	/// States whether the backend should use a SNARK recursion friendly prover.
	/// If implemented by a backend, this means that proofs generated with this circuit
	/// will be friendly for recursively verifying inside of another SNARK.
	pub recursive: bool,

cc @vezenovm