[otp_ctrl/formal] add bind file to formal target

Add otp_ctrl bind file to tb.
Add otp_ctrl to fpv_all run script.
A few small fix to avoid otp_ctrl fpv compile error

Signed-off-by: Cindy Chen <chencindy@google.com>

hw/formal/fpv_all

diff --git a/hw/formal/fpv_all b/hw/formal/fpv_all
index 8585837..94a0b2c 100755
--- a/hw/formal/fpv_all
+++ b/hw/formal/fpv_all
@@ -26,6 +26,7 @@
   "uart"
   "hmac"
   "flash_ctrl"
+  "otp_ctrl"
   "pwrmgr"
   "usbuart"
   "usbdev"