Stop using the thread-unsafe withArgs to parse arguments

[facundominguez]

This is more of a precaution for the future, as there are no current failures. See https://github.com/ucsd-progsys/liquidhaskell/issues/1978