[wip] SRW unit tests
Prover bug prevented trained weights from being used