pub(crate) fn apply_transaction(
    db: &Db,
    output: &Output<OuterVerifier>
) -> Result<()>