Add a few integration tests for Magma