call InteractiveChecker.InvalidateAll after solution reloaded

add assertion to localize a bug with wrong symbol ranges