add test bitwalker from internal repo
add coq script