tests

refactor: Resolving unchecked-cast warnings in ContractVerifier #8352

Job	Run time
Tests with Java 17 on windows-latest	10m 12s
Extra checks	5m 42s
Test with coverage	6m 46s
Codegeneration	1m 34s
maven-central-requirements	58s
Javadoc quality	2m 28s
reproducible-builds	2m 41s
Tests with Java 17 on ubuntu-latest	6m 38s
Tests with Java 21 on ubuntu-latest	6m 34s
	43m 33s

Provide feedback