simplify transaction commit and cancel interfaces V2

[Christoph Hellwig]

Changes since V1:
  - rebased to todays for-next branch
  - fix the inverted regrant logic in path 4
    (the full series was already corrent in the previous version)