More specs.
Add 2.0 to .travis.yml.
Remove function/basic block params from the SSA initializers.