Answer from cs61c-cm (Christopher Marcellino 15775059) for Question 1
You could add a small field (like a bit) that marks code as executable. This is like the NX field in the X86 processors that are just coming out. This would add to the complexity of the processor as well as require the operating system to check this field.