Property-based testing, mutation testing, and regulatory scenario suites — our testing pyramid for immigration compliance platforms.