chore(travis): do not use c++filt on Linux builds

There is a bug in c++filt on Linux. For instance,

    c++filt -t 355687428096000

causes a segmentation fault.
test(lazy_list): add more tests

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