Switched to a newer version of boogie, corral, and Z3. Corral now implements static inlining.