Enable Dart 1.7 executable model, other tweaks