adding more comments to Strstr.bsv.  I think there may actually be a bug in my implementation...