Data Verification in Amazon QLDB