(Verifiable) Delay Functions from Lucas Sequences