Migrate approved/denied domain states and add tests

Allows shell configured values to persist across package updates and
validates the behavior with new unit tests.

Also fixes a bug with failing to recalculate hasAutoVerifyDomains
during an update.

Bug: 180535047

Test: atest DomainVerificationPackageTest

Change-Id: I793171491c8373ad67a38b5a02a57f46e4d5828a