Delete test for whether output_storage is shared. For they are bound to be shared through shared intermediate storages.

Add test for VM_Linker; Add test for SharedVariable with/without updates; Simplify codes and delete extra line.

Add assertion in map_storage to assert storage given by input/output_storage and storage_map is the same.