Add asserts on GC compaction (#3050)

***NO_CI***

Author: josesimoes

src/CLR/Core/GarbageCollector_Compaction.cpp

@@ -256,6 +256,16 @@ void CLR_RT_GarbageCollector::Heap_Compact()
 
                     freeRegion->Unlink();
 
+#ifdef _DEBUG
+
+                    _ASSERTE(relocCurrent->m_destination >= (CLR_UINT8 *)g_CLR_RT_ExecutionEngine.m_heap.FirstNode());
+                    _ASSERTE(relocCurrent->m_destination < (CLR_UINT8 *)g_CLR_RT_ExecutionEngine.m_heap.LastNode());
+                    _ASSERTE(relocCurrent->m_start >= (CLR_UINT8 *)g_CLR_RT_ExecutionEngine.m_heap.FirstNode());
+                    _ASSERTE(relocCurrent->m_start < (CLR_UINT8 *)g_CLR_RT_ExecutionEngine.m_heap.LastNode());
+                    _ASSERTE(moveBytes <= freeRegion_Size);
+
+#endif
+
                     memmove(relocCurrent->m_destination, relocCurrent->m_start, moveBytes);
 
                     if (freeRegion_Size)