Move CFGVerifier to graal.compiler.common and make it abstract.

--HG--
rename : graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/cfg/CFGVerifier.java => graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/cfg/CFGVerifier.java
extra : amend_source : 93128a58fdb19a46681f83b7dec3ee4328f894b6
extra : histedit_source : dec55d782410d03d2d9c355a8c5b636a9058ab74
Move commonDominator to AbstractControlFlowGraph.

--HG--
extra : rebase_source : b9adb5ae9f53e9c4af06b3f8a2f2eb5eee237d0a
extra : histedit_source : 9a385a9adb8223bfd95c77f9be4e1ef763b9cb21
Document invariants of AbstractControlFlowGraph.getBlocks().

--HG--
extra : rebase_source : a7238aaf0d2299daecc58e9b88f1b563dfce2e9b
extra : histedit_source : f54b06eab6343539e85459980893f5f3100d01c4
Move AbstractBlock.{dominates, isDominatedBy} to AbstractControlFlowGraph.

--HG--
extra : rebase_source : 09ce3ec594cfc00bedeb8ec361abdf0ab384f440
extra : histedit_source : 279b818e3c1d9ea3cec7cfd1db16866262cc0b20
LSRA spill optimization: use AbstractControlFlowGraph.commonDominator.

--HG--
extra : rebase_source : 232b58e8737a11479412f8fdfc4f26585427d1cc
extra : histedit_source : 7d2521c9e707743e2c3a2795ace943f1db3d6780
Truffle:  NodeUtil fix for displaying null SourceSections.
SL: upgrade source attribution
Merge with f0f4402a4f65bc5456feeb4d78e6b4843ec23d8c
Move setDominator() and setDominated() to AbstractBlock.

--HG--
extra : histedit_source : 429a486a7d08dce3a8d6f724582bfae6d9374644
Move computeDominators to AbstractControlFlowGraph.

--HG--
extra : histedit_source : a8cd68027bddc999e0dee0c408850605e8ee9eb2
BaselineControlFlowGraph compute dominators and verify.

--HG--
extra : rebase_source : 3ed33bc9fb4195d0cc3f765f58b1ba9ae73d1349
extra : histedit_source : 977a5d275453af295dd32e1946f64ef2e82b9814%2C11392ab0a69feb5e0031989b8b9deb54caaf39d9
Fix typo in comment.

--HG--
extra : rebase_source : 352a4aa2d6cfbadc3c237f0fd0635e67750946ed
extra : amend_source : 4d41581fd231ac33dd5edd5bc6c62e7f916b79dd
SL: update tests; error locations reported differently with source attribution change.
Merge with b0ea5c266655253934e403f00d69aedc1f68e052