Upgrade the Whiley compiler to version 0.3.28