Tests for GroupElement.doubleScalarMultiplyVariableTime()
Fixed bug in verify