fix(debug): print type in lean_assert, print bool correctly

 - use typeinfo to print out a type of value when an assertion fails.
   need to use c++filt to demangle c++ name for non-basic types.
 - use std::boolalpha and std::noboolalpha to control the printed values
   for "true" and "false"
chore(travis): use c++filt to handle demangled c++ names