[BefunRep] Added automatic testing
[BefunRep] Added binary safe format
[BefunRep] Added Output option