Congruence Normality of Simplicial Hyperplane Arrangements via Oriented Matroids