Separated circuit solving and solution compilation
New tests