Update discussion of tripwires, and added more tripwire flags to state.tex
Authored by: tswift 2016-02-23
Parent: [r8649]
Child: [r8651]