feat(safety): make marker validation unconditional and update verified devices in README

Author: gooderfreed

README.md

@@ -420,8 +420,14 @@ This library has been verified to run correctly on embedded hardware without sta
 
 | Architecture | Device | Status |
 | :--- | :--- | :--- |
+| **AVR (8-bit)** | ATmega328P (Nano SuperMini) | ![Status](https://img.shields.io/badge/Verified-success) |
 | **ARM Cortex-M0+** | Raspberry Pi Pico (RP2040) | ![Status](https://img.shields.io/badge/Verified-success) |
-| **Xtensa LX6** | ESP32-WROOM | ![Status](https://img.shields.io/badge/Verified-success) |
+| **ARM Cortex-M3** | BluePill (STM32F103C8) | ![Status](https://img.shields.io/badge/Verified-success) |
+| **ARM Cortex-M4** | BlackPill (STM32F411CE) | ![Status](https://img.shields.io/badge/Verified-success) |
+| **RISC-V (RV32IMC)** | ESP32-C3 (SuperMini) | ![Status](https://img.shields.io/badge/Verified-success) |
+| **Xtensa L106** | ESP8266 (NodeMCU with OLED) | ![Status](https://img.shields.io/badge/Verified-success) |
+| **Xtensa LX6** | ESP-32D (WROOM-32D) | ![Status](https://img.shields.io/badge/Verified-success) |
+| **Xtensa LX7** | ESP32-S3 (DevKitC-1) | ![Status](https://img.shields.io/badge/Verified-success) |
 
 ---
 

easy_stack.h

@@ -1352,9 +1352,11 @@ ESTACKDEF void estack_free_to_marker(EStack *ESTACK_RESTRICT stack, EStackMarker
     */
 
     uintptr_t decoded_magic = marker.magic ^ stack_addr;
-    ESTACK_CHECK_V((decoded_magic == ESTACK_MAGIC), 
-               "Internal Error: 'estack_free_to_marker' detected invalid, corrupted or alien stack marker");
-
+    if (ESTACK_UNLIKELY(decoded_magic != ESTACK_MAGIC)) {
+        ESTACK_ASSERT(false && "Internal Error: 'estack_free_to_marker' detected invalid, corrupted or alien stack marker");
+        return; 
+    }
+    
     size_t decoded_index = marker.index ^ stack_addr;
     size_t cur_index = estack_get_meta_index(stack);
     ESTACK_CHECK_V((decoded_index <= cur_index),