Fixed: Only check equality of ProvBundles on asserted records