prover.ts: decouple prover.ts from zk.js

[sergeytimoshin]

Draft based on #126

• Removed all redudant tests from light-provers-sdk/tests, since they already not really generic and already implemented in zk.js (https://github.com/Lightprotocol/light-protocol/blob/main/light-zk.js/tests/prover.test.ts)
• A few cleaned up things here and here.

[ananas-block]

Thanks!

I noticed that it is not used in zk.js yet (it probably wasn't used in the prior pr either).
In zk.js it is used in transaction.ts
Can you replace the prover class in zk.js?
(Then it will be naturally included in more tests in zk.js and light-system programs as well.)

[ananas-block]

regarding tests you could add a couple more standard tests:

• failing
• run full prove two times and receive the same public inputs as output (the proof will be different ofc because it is using different randomness)

[ananas-block]

snarkjs's process does not terminate automatically can you add the following to terminate it?

(globalThis as any).curve_bn128.terminate();

see iden3/snarkjs#152

[ananas-block]

My intuition was to put this into the prove method.
Do you see tradeoff putting it in there?

[ananas-block]

@sergeytimoshin The test failure might not be related to your changes, since it is complaining about an account with insufficient rent.
I haven't seen this error in ci before let me investigate.