Feature: symbolic execution support #6590

Job	Run time
Contracts / Test Coverage	12m 47s
Contracts / Clippy linter check	1m 33s
Contracts / Rust tests	5m 40s
Contracts / Wasm tests	15m 23s
	35m 23s

Provide feedback