Doc updates
Branch condition check in module.
ARM Architecture doc
Running dc, optimizations...