Solves #15210 without changing consensus, in a backwards compatible way,
by adding tx inclusion information to the Receipt struct.