fix(style): fix warnings produced by cpplint.py, disable sizeof(type) warning

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