Add more tests from arXiv:1205.5935

[lodyai]

The test suite covers many identities from Appendix A.4 of https://arxiv.org/abs/1205.5935 but has gaps.

Known skips/gaps in the current code:

• A.4.27 — explicitly skipped with no explanation
• A.4.33 — commented out (see Fix broken test A.4.33 #14)
• A.4.35 — broken (see Fix broken test A.4.35 #15)
• Ar ∧ (Bs ∧ Ct) == (Ar * Bs * Ct)[r + s + t] (inside A.4 loop) — the assertion is written without @test, so it never actually runs

Also worth adding tests for identities outside A.4 if the paper covers them — the current suite only targets the A.4.x block.

The Ar ∧ (Bs ∧ Ct) missing @test is a silent bug that should be fixed regardless:

# line 284 — currently missing @test
Ar ∧ (Bs ∧ Ct) == (Ar * Bs * Ct)[r + s + t]