Optimized PN, sort vectors of functions to validate by the number of...

Optimized PN, sort vectors of functions to validate by the number of boundaries found by the infernces for those functions. The concept is that if there are 3 or fewer variables, these layouts are essentially P1, so they should validate immediately. By sorting them, when recurisve validation is used, hopefully a larger portion of functions will be validated immediately, if all these "safer" functions are grouped together. 



Former-commit-id: 90f4e0ed9adb6a9b54f6c0aa7c8c108e875867ea