Upgrade to release 0.8.6: - Switch the type checker to Zuban. It's faster and now also checks untyped code. Signed-off-by: Leon Anavi <leon.anavi@konsulko.com> Signed-off-by: Khem Raj <raj.khem@gmail.com>