Merge remote-tracking branch 'origin/develop'

Author: rv-auditor

include/runtime/arena.h

@@ -122,6 +122,7 @@ class arena {
 
     current_addr_ptr = nullptr;
     collection_addr_ptr = nullptr;
+    allocation_ptr = nullptr;
     tripwire = nullptr;
   }
 

runtime/collect/collect.cpp

@@ -347,6 +347,7 @@ void free_all_kore_mem() {
   kore_collect(nullptr, 0, nullptr, true);
   kore_clear();
   youngspace.munmap_arena_and_reset();
+  oldspace.munmap_arena_and_reset();
   alwaysgcspace.munmap_arena_and_reset();
 }
 }