Restructuring fetch and decode, enabling constraints over code

Restructuring fetch and decode, enabling constraints over code #1005