define a function for verifying a BF program is well-bracketed
adding a function for building a map of bracket position pairs