New 'dev' flag. Library and Multiplication benchmark are now compiled with -fstatic-argument-transformation (it seems to slightly improve performance). Plus, I added a note about dotProduct strictness.