Move from point model to Kinematic model

[AlexanderDavid]

The current verification server runs on a simple point model which works for our current use case but it would simplify the code immensely if we could move to a kinematic model of the vehicle