docker: Add memory limits to prover & dev containers

[pinkiebell]

This allows us to better debug and allocate resources if the memory requirements are changing