Added more unit tests for Contract that check the algebra of the
BMHV gamma^5 scheme.