Introducing SIM-1: Models that simulate large codebases and infrastructure for parallel debugging and verification