tests(test/lean): remove 'Importing...' message, the tests using the Import command fail when running on a different machine

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>