Note: proveFinality call will only work after the first authority set change.
proveFinality
No changes between version 4 and version 4
