feat: integrate with the`hegel` system

[mkovaxx]

https://antithesis.com/blog/2026/hegel
https://hegel.dev

[mkovaxx]

@chammika With the new anodized_try setting and related try_call! macro, this should now be within reach.

For a related example using cargo-fuzz, see:

anodized/examples/bin-search/fuzz/fuzz_targets/fuzz_target_1.rs

Lines 8 to 32 in 0cdb952

	fuzz_target!(|data: &[u8]| -> Corpus {
	let mut unst = Unstructured::new(data);
	let Ok(inputs) = Inputs::<i32>::arbitrary(&mut unst) else {
	// Reject data that doesn't generate valid inputs.
	return Corpus::Reject;
	};
	// Use Anodized's `try_call` macro to defer acting on spec violations.
	let result = try_call! { bin_search::bin_search(&inputs.seq, &inputs.value) };
	match result {
	// Successful call.
	Ok(_) => Corpus::Keep,
	// When preconditions are violated, reject the input.
	Err((false, _)) => Corpus::Reject,
	// When postconditions are violated, panic to signal a counter-example.
	Err((true, errors)) => {
	eprintln!("inputs:");
	dbg!(inputs.seq);
	dbg!(inputs.value);
	panic!("postcondition failed:{errors}");
	}
	}
	});