The cybersecurity expert who took on election conspiracy theorist Mike Lindell and was awarded $5 million from an arbitration panel has asked a federal court to force Lindell to pay up, according to court documents obtained by CNN.