doc: disclaimer on jumpdest validity

README.md

@@ -101,6 +101,10 @@ The HyVM private memory layout is as follows:
 
 Thus, the actual memory of the host is starting at either 0x340 or 0x460 depending on the chosen configuration.
 
+## Disclaimer on jumpdest validity
+
+⚠️ The HyVM skips `jumpdest` (0x5B) validations that might appear in `push` opcodes values. This is OK if the executed bytecode is well formed (for instance, if you compiled it using `solc` or equivalent). But if you feed broken bytecode to the HyVM, this could lead to some discrepancies between the HyVM and the actual EVM behaviour.  
+There is open issue for to implement the validation if needed [here](https://github.com/oguimbal/HyVM/issues/16).
 
 ## Addresses