From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research