Upgrade the Whiley Compiler to version 0.3.25