Commits 67dcf6e: Implement run> watch expressions (Dan Freeman) #6256 80da9e2: Add transcript coverage for run> (Dan Freeman) #6256 8bdc428: Update proofs (Dan Freeman) #6256