Cleanup: simplify flag parsing and merge into mflag (rebase ++)

this is to get #7551 updated for merge.

I've added the missing non-global validation functions, and rebased 
Could you do exact check of error? We have already one false-pass test where we don't check error.