Unveiling BIP-420: A Formal Introduction of OP_CAT, the Bitcoin Covenant Initiative