ethoc: it seems we don't really need any of the manual slicing

- Verification may take more than 1 hour, but it does work in the concurrent
  case as well
ethoc: experiments for software and hardware model