- Added a Verificarlo option to smvars.sh that sets the Verificarlo backend and uses LLVM for compilation. - Fixed residual_max() to give the Max-norm.