Add makeDefaultsExplicit option for running unit test#417

AndrewShf wants to merge 3 commits intoopprop:masteropprop/checker-framework-inference:masterfrom

AndrewShf:makeDefaultsExplicitAndrewShf/checker-framework-inference:makeDefaultsExplicitCopy head branch name to clipboard