Add a short part mentioning non-linear arithmetic

[viper-admin]

Created by @alexanderjsummers on 2019-08-28 09:55

We should point out that examples involving non-linear arithmetic will be unreliable, and if an unexpected failure or slow run occurs then this wouldn’t typically be considered a Viper issue.