Characterization and Verification of Trotterized Digital Quantum Simulation Via Hamiltonian and Liouvillian Learning