fix SdkVmConfig serde

[lispc]

previous the Castf config cannot be serde/deserde.

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(-16 [-1.2%]) 1,348	143,569	8,290,048	-	-	-
fibonacci_program	(-43 [-0.9%]) 4,881	1,500,095	51,485,080	-	-	-
regex_program	(-46 [-0.3%]) 13,795	4,139,840	165,455,373	-	-	-
ecrecover_program	(-8 [-0.3%]) 2,453	284,567	15,055,723	-	-	-

Commit: 39f9159

Benchmark Workflow