ci: use jsi for snekmate test #1196

Job	Run time
test (macos-latest, 3.11, solidity)	2m 33s
test (macos-latest, 3.11, solidity, --cache-solver)	3m 18s
test (macos-latest, 3.11, generic)	2m 21s
test (macos-latest, 3.11, generic, --cache-solver)	2m 31s
test (macos-latest, 3.12, solidity)	2m 0s
test (macos-latest, 3.12, solidity, --cache-solver)	2m 33s
test (macos-latest, 3.12, generic)	2m 28s
test (macos-latest, 3.12, generic, --cache-solver)	2m 21s
test (ubuntu-latest, 3.11, solidity)	2m 31s
test (ubuntu-latest, 3.11, solidity, --cache-solver)	4m 14s
test (ubuntu-latest, 3.11, generic)	2m 48s
test (ubuntu-latest, 3.11, generic, --cache-solver)	4m 2s
test (ubuntu-latest, 3.12, solidity)	2m 29s
test (ubuntu-latest, 3.12, solidity, --cache-solver)	4m 20s
test (ubuntu-latest, 3.12, generic)	2m 45s
test (ubuntu-latest, 3.12, generic, --cache-solver)	4m 3s
test (windows-latest, 3.11, solidity)	3m 50s
test (windows-latest, 3.11, solidity, --cache-solver)	5m 50s
test (windows-latest, 3.11, generic)	4m 28s
test (windows-latest, 3.11, generic, --cache-solver)	4m 48s
test (windows-latest, 3.12, solidity)	3m 58s
test (windows-latest, 3.12, solidity, --cache-solver)	6m 27s
test (windows-latest, 3.12, generic)	4m 38s
test (windows-latest, 3.12, generic, --cache-solver)	5m 20s
	1h 26m 36s

Provide feedback