Linear-algebra utilities shared by MatchAlign and the recovery
assessments. tucker_congruence(x, y) computes sum(x*y) / sqrt(sum(x^2) * sum(y^2)). procrustes_rotation(X, Target) finds
the orthogonal R minimising ||X R - Target||_F and returns
X %*% R with R attached as attribute "rotation".