[mycpp/dataflow] Add stack roots solver with --minimize-stack-roots (#2023)