Revert "Initial commit"

This reverts commit 00cabe90139692b2394be30f6c72bc3390a34cf9.
Revert "Revert "Initial commit""

This reverts commit 0c33134e01c75b8b6cf7ff4189b4b864b378374b.
First Upload

Uploading base of veriphy.