FIXUP: move logic of adding builtins dependency and sealing module out of TDA
Add comments for seal()  and initialize()
Fix NoInternalVisibilityInStdLibTest