Merge pull request atomvm#1840 from pguyot/w40/jit-optimize-verify-is-match-state

JIT: optimize `verify_is_match_state` using types

These changes are made under both the "Apache 2.0" and the "GNU Lesser General
Public License 2.1 or later" license terms (dual license).

SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later

Author: bettio