Fix memory and cores limit for mopsa-validate-correctness-witnesses
All other correctness witness validators have these memory and cores limits. The current ones have been copied from the Mopsa verifier.
All other correctness witness validators have these memory and cores limits. The current ones have been copied from the Mopsa verifier.