Derive Macro kani::Arbitrary

#[derive(Arbitrary)]
Expand description

Allow users to auto generate Arbitrary implementations by using #[derive(Arbitrary)] macro.