OP_CAT’s BIP-420 proposes to revive Bitcoin covenants