0.25.7

Added

• futhark autotune now supports hip backend.

• Better parallelisation of scatter when the target is
  multidimensional (#2035).

Fixed

• Very large iotas now work.

• Lambda lifting in while conditions (#2038).

• Size expressions in local function parameters had an interesting
  interaction with defunctionalisation (#2040).

• The store command in server executables did not properly
  synchronise when storing opaque values, which would lead to
  use-after-free errors.