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.

Add ```storage_map```argument for Profile_Maker;CLinker new support ```storage_map```(without testing)