Add memory quotas to Docker runs

[npfet]

An incorrectly generated Verilog file can cause iverilog to consume lots of memory, potentially leading to host instability. Add quotas when running Docker to limit the amount of memory a Docker instance can use.