Consider using concrete values for indices to memory

[chick]

Rafael has done this for concolic testing of circuits using the interpreter. This should be simple. Check to see if this is obviated by work being done on a pass to replace firrtl CMEM with an equivalent firrtl memory module.