Bug fixes and maintenance for Linea Prover v1.0.1-mrc1, including removal of state manager request version and CI path correction.