Fix verification of import reassignments

* When verifying reassignments are not imports, make sure the identifier matches an import.
* When verifying re-declarations of imports, make sure the scope is global
I added another test case for these scenarios and they're passing for me, yeah.