exekall: Trim ValueDB produced by --load-db

The ValueDB resulting from --load-db now only contains values that we
just computed, instead of the whole merge of the one specified by
--load-db and the newly creating one. This permits easier comparison, as
there are no common root values in it.