Update WALA submodule