Minor bugfixes and improvements.

- Removed uneeded check in Tuple
- Added FIXME to SecureSubscribe
- Incremented the number of times FuzzingTuple is run
- Deleted unused files.