Bump up VM stack reserve size (needed with latest Idris code)