Add a value range analysis phase to remove bounds checks.

lib/compiler/implementation/ssa/types.dart

Index: lib/compiler/implementation/ssa/types.dart
===================================================================
--- lib/compiler/implementation/ssa/types.dart	(revision 12944)
+++ lib/compiler/implementation/ssa/types.dart	(working copy)
@@ -142,8 +142,8 @@
 
 class HConflictingType extends HAnalysisType {
   const HConflictingType() : super("conflicting");
-  bool canBePrimitive() => false;
-  bool canBeNull() => false;
+  bool canBePrimitive() => true;
+  bool canBeNull() => true;
 
   HType union(HType other) => other;
   HType intersection(HType other) => this;