Added verbose warnings by default and a "debug" flag to enable pretty print and readable variable names