Fix bug in ArchitecturalStateTest's modulo add method.