Number-crunching loops over images, audio and data now run several values at once, faster than the reference browser on this kind of work

This release teaches Floati to do something no mainstream browser does: automatically process several array elements at the same time using the chip's vector unit. When a page runs a tight loop that reads a big array of numbers, does plain arithmetic on each one, and writes the result to another array - the shape behind image filters, audio effects, physics and signal processing, and bulk data maths - Floati now proves the loop is safe and compiles it to code that handles a batch of elements per step instead of one. On these loops the work runs several times faster, and faster than the reference browser, which still does them one element at a time. It only kicks in when Floati can prove every access stays in range and every step is identical to doing it one at a time, so the result is exactly what the slow path would produce, down to the last bit. As always it runs entirely on your device.