Renamed VerificationLIb/Class1.cs to VerificationLib/RSAlib.cs

Signed-off-by: Michael Englehorn <michael@englehorn.com>