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