forgot bug #5 description (and clarify bug #4 wrt to bug #5)

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/4.diff

@@ -1,7 +1,7 @@
 3c3
 < (define the-error "no-error")
 ---
-> (define the-error "mishandling branches when then branch needs more stack than else branch")
+> (define the-error "mishandling branches when then branch needs more stack than else branch; bug in the boxenv case not checking a stack bound")
 155c155,156
 <    (side-condition (< (term n_p) (term n_l)))]
 ---

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/5.diff

@@ -1,7 +1,7 @@
 3c3
 < (define the-error "no-error")
 ---
-> (define the-error "bug 5")
+> (define the-error "mishandling branches when then branch needs more stack than else branch; bug in the let-rec case not checking a stack bound")
 163c163,164
 <    (side-condition (<= (term n) (term n_l)))
 ---

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-4.rkt

@@ -1,6 +1,6 @@
 #lang racket
 
-(define the-error "mishandling branches when then branch needs more stack than else branch")
+(define the-error "mishandling branches when then branch needs more stack than else branch; bug in the boxenv case not checking a stack bound")
 
 (require redex/reduction-semantics)
 (require "../../racket-machine/grammar.rkt" 

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-5.rkt

@@ -1,6 +1,6 @@
 #lang racket
 
-(define the-error "bug 5")
+(define the-error "mishandling branches when then branch needs more stack than else branch; bug in the let-rec case not checking a stack bound")
 
 (require redex/reduction-semantics)
 (require "../../racket-machine/grammar.rkt"