small Import time optimization#787

KRRT7 merged 10 commits intomaincodeflash-ai/codeflash:mainfrom

import-time-optimizationcodeflash-ai/codeflash:import-time-optimizationCopy head branch name to clipboard