CWA-2024-006: Non-deterministic module_query_safe query

Severity Medium (Moderate + Likely)[^1] Affected versions: - wasmd 0.52.0 Patched versions: wasmd 0.53.0 Wasmd's SmartContractState query was marked as modulequerysafe in wasmd 0.52.0, but in some cases, this query can be non-deterministic. This can lead to a chain halt. The patc…