This makes sure we don't generate an invalid delegation. The proof and
delegation verification are moved to their own function to unbloat the
processor factory.
Depends on D9365The appropriated tests will be added when the `-avadelegation` is added as it will allow for triggering the failures.
Ref T1635.