Converting Uint32 signal output to BigInt #329
Description
I have a circuit that outputs a 32-bit Uint value and I want to convert this value to BigInt during testing. If that's not possible,
I would like to print the value to stdout. I have not been able to do either of these.