Fix auto-resizing the circuit #19
Description
Currently we set the calculated optimal value of k to 1 higher than what we calculate halo2-lib-js. This is because otherwise the circuit could fail and error out if the number of lookup cells is greater than expected (due to the number of lookup bits changing with k).
Instead, can we iteratively minimize k until the circuit fails as a way of auto-configuring the circuit? (and when it does fail, ensure we can catch the error and reinstantiate the WASM module and other deps if needed)