4. Customer can now install the product on another machine and use online activation to get a second activation, at least until the IsGenuineEx() check kicks in, which could be some time (we haven't actually decided how often or if at all we will use this yet).
Correct.
We will be implementing the ability to warn you from allowing customers that have deactivated offline from then activating again until X days have been passed. In the meantime, the way to prevent this is to use an IsGenuineEx() with a days between checks of somewhere between 30 days and 90 days.