cardano-ledger-shelley-1.14.1.0: Shelley Ledger Executable Model