Crate aidens_integration_tests 

Workspace-level integration tests for AiDENs production crates.

This package exists to keep aidens-testkit as a pure reference interpreter crate while still running the cross-crate proof suite.