How hands-off do you want verification?

Pure software (fastest, no humans).

Hybrid — software plus trained humans on edge cases (the consensus pick).