In #5484, in order to handle mutability in the WasiCtx table, the source of randomness in wasi-common was wrapped in a Mutex. This solves the compiler errors related to mutable access of the the field, but there is surely some refactoring that avoids locking altogether.
