TODO: More complex scenarios, edges cases, plus feedback tests for state following each power cycle action.