Add a test which validates that running the same module multiple times does not lead to accidental state sharing

[bbannier]

We currently assign a linker scope for each imported module which should ensure global state from different module instances is not shared. We should add a test to validate that this holds.