Scalable methods for monitoring and detecting behavioral equivalence classes in scientific codes