Modernize VPCheckers

• prefer Gaudi::Functional
• use Functional condition accessors
• prefer Gaudi::Property
• prefer freestanding functions
• Amalgamate headers into component source files

depends on gaudi/Gaudi!1031 (merged)