Yes, the problem is decidable. 

First note that in $B_n$ everything is forgotten after $n$ steps.

Now consider a graph $H = (V', A')$ where every vertex corresponds to a subset of $V$. We put an edge in colour $c$ from $u'$ to $v'$ if every vertex in $u'$ has an edge in colour $c$ to a vertex in $v'$. Now consider the following question:

Does there exist an subgraph of $H'$ on the same set of vertices such that every vertex has exactly one outgoing edge in each colour such that all recurrent vertices correspond to single element subsets in $V$?

If there exists a homomorphism such a subgraph exists. For every starting vertex of $H$ and every string of length $n$ there exists a path following that string ending in a vertex corresponding to a single element subset in $V$ (by the property of forgetting everything after $n$ steps). For every $u' \in V'$ we define $g(u')$ to be

$$g(u') = \begin{cases} 0 & \text{if } |u'| = 1\\ \max\left(\min_{\delta^+_0(u')}, \min_{\delta^+_1(u')}\right) & \text{otherwise,}\end{cases}$$
where $\delta^+_c(u')$ denotes all vertices $v'$ such that there exists an edge from $u'$ to $v'$ in colour $c$. For each $u' \in V'$ we pick one outgoing edge of each colour minimizing the value $g(v')$ of the target vertex $v'$.

Now suppose conversely that such a subgraph exists and additionally assume there exists an all-zero-tree from every vertex to a specific vertex, which we will call $v_0$ and similarly a vertex $v_1$ (this is another necessary and decidable condition for a homomorphism). Then there exist such a subgraph where $0^{\max g(u')}$ always leads to $v_0$ and $1^{\max g(u')}$ to $v_1$.

By considering the path starting at the vertex $V \in V'$, we can observe that this corresponds to an algorithm forget the current state in $m = \max g(u') \leq 2^{|V|}$ steps. The problem is that if two strings become equal they have to start this memory wiping process at the same time.

Now consider a $n > 4 \cdot 2^m \cdot m$ and look at the middle third. We start (or restart) the memory wiping process if its length $m$ suffix is strictly its lexicographically smallest substring.

Now we still need to ensure that $f$ is surjective. We can do this by constructing a path starting at $v_0$ which visits all edges and taking its corresponding string $s$. We pick $n > 3|s|$ and we don't do memory wiping when the string has a prefix $0^{n-|s|}$.

Now the conditions to check are:
- There a vertex which is reachable from every other vertex using only 0-edges.
- There a vertex which is reachable from every other vertex using only 1-edges.
- $H'$ has such a subgraph. (You can start with the single-vertex subsets and add other subsets one by one if they have a 0-edge and a 1-edge to existing subsets.)
- $G$ is strongly connected.