Computer software and firmware for for occupancy verification on "High Occupancy Vehicle" roads and roads identified to incentivize "High Occupancy Vehicles"