Modeling Transitivity and Cyclicity in Directed Graphs via Binary Code Box Embeddings