assert that the upgrade preference file is not present
while we already assert that there are no downgrades earlier in the test,
this assertion makes sure the other part of T9535 is working correctly.
namely that the preference file of the upgrader is transient