Added a dev util method to limit mode available only for dev and
internal builds. Regen'ed Sireum CLI.