Fixed bugs/nits dpino noticed

- lines are now <= 80 characters
- 'local' declarations added/removed as necessary
- stale util import removed
- Used %x to match hex
- ("a string"):format() syntax now used
- Removed commented-out code
- Reformatted odd if/else line
- Fixed prop_opt_eq_unopt bugs from wrongly declaring local
- Fixed prop_opt_eq_unopt bugs from partly-applied renames
- Normalized lua file permissions to 664
- Clearer/better output on test failure
- Added a trivial fail property
- Reduced default math check iterations to 50 (calling tcpdump is slow)
Updated to newest pflua

This avoids having the math property trigger a fixed division bug.